[INFO] fetching crate legalis-verifier 0.1.4...
[INFO] testing legalis-verifier-0.1.4 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate legalis-verifier 0.1.4 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate legalis-verifier 0.1.4
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate legalis-verifier 0.1.4
[INFO] tweaked toml for crates.io crate legalis-verifier 0.1.4 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate legalis-verifier 0.1.4 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate legalis-verifier 0.1.4 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-canonical-combining-class v1.0.0
[INFO] [stderr]   Downloaded unicode-joining-type v1.0.0
[INFO] [stderr]   Downloaded svg2pdf v0.13.0
[INFO] [stderr]   Downloaded rust-fontconfig v1.2.1
[INFO] [stderr]   Downloaded azul-simplecss v0.1.2
[INFO] [stderr]   Downloaded md5 v0.8.0
[INFO] [stderr]   Downloaded mmapio v0.9.1
[INFO] [stderr]   Downloaded symbol_table v0.4.0
[INFO] [stderr]   Downloaded bitreader v0.3.11
[INFO] [stderr]   Downloaded unicode-canonical-combining-class v0.5.0
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded unicode-joining-type v0.7.0
[INFO] [stderr]   Downloaded nom_locate v4.2.0
[INFO] [stderr]   Downloaded rhai_codegen v3.1.0
[INFO] [stderr]   Downloaded highway v0.8.1
[INFO] [stderr]   Downloaded lasso v0.7.3
[INFO] [stderr]   Downloaded oxiz-solver v0.1.2
[INFO] [stderr]   Downloaded azul-css v0.0.5
[INFO] [stderr]   Downloaded egg v0.11.0
[INFO] [stderr]   Downloaded azul-layout v0.0.5
[INFO] [stderr]   Downloaded gl-context-loader v0.1.10
[INFO] [stderr]   Downloaded glyph-names v0.2.0
[INFO] [stderr]   Downloaded azul-core v0.0.5
[INFO] [stderr]   Downloaded legalis-core v0.1.4
[INFO] [stderr]   Downloaded oxiz-core v0.1.2
[INFO] [stderr]   Downloaded rhai v1.24.0
[INFO] [stderr]   Downloaded allsorts-subset-browser v0.16.0
[INFO] [stderr]   Downloaded allsorts v0.16.1
[INFO] [stderr]   Downloaded pdf-writer v0.12.1
[INFO] [stderr]   Downloaded printpdf v0.8.2
[INFO] [stderr]   Downloaded lopdf v0.35.0
[INFO] [stderr]   Downloaded oxiz-theories v0.1.2
[INFO] [stderr]   Downloaded oxiz-sat v0.1.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7f009b8c11d804097a3294084408f4640003a99b455a8286613423e195441388
[INFO] running `Command { std: "docker" "start" "-a" "7f009b8c11d804097a3294084408f4640003a99b455a8286613423e195441388", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7f009b8c11d804097a3294084408f4640003a99b455a8286613423e195441388", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7f009b8c11d804097a3294084408f4640003a99b455a8286613423e195441388", kill_on_drop: false }`
[INFO] [stdout] 7f009b8c11d804097a3294084408f4640003a99b455a8286613423e195441388
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 70825c561751deae0ed57ce86a038db0732d88a027f917f9dd646f7479a21a2b
[INFO] running `Command { std: "docker" "start" "-a" "70825c561751deae0ed57ce86a038db0732d88a027f917f9dd646f7479a21a2b", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling anyhow v1.0.100
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling md5 v0.8.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling uuid v1.20.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling legalis-core v0.1.4
[INFO] [stderr]    Compiling legalis-verifier v0.1.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 08s
[INFO] running `Command { std: "docker" "inspect" "70825c561751deae0ed57ce86a038db0732d88a027f917f9dd646f7479a21a2b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "70825c561751deae0ed57ce86a038db0732d88a027f917f9dd646f7479a21a2b", kill_on_drop: false }`
[INFO] [stdout] 70825c561751deae0ed57ce86a038db0732d88a027f917f9dd646f7479a21a2b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 97e1caa9e23188c98d51d58e214d27d767b8e8a6c768c47f561c7791313468a7
[INFO] running `Command { std: "docker" "start" "-a" "97e1caa9e23188c98d51d58e214d27d767b8e8a6c768c47f561c7791313468a7", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling cc v1.2.53
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling uuid v1.20.0
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling criterion-plot v0.8.1
[INFO] [stderr]    Compiling clap v4.5.54
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling criterion v0.8.1
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling legalis-core v0.1.4
[INFO] [stderr]    Compiling legalis-verifier v0.1.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 39s
[INFO] running `Command { std: "docker" "inspect" "97e1caa9e23188c98d51d58e214d27d767b8e8a6c768c47f561c7791313468a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "97e1caa9e23188c98d51d58e214d27d767b8e8a6c768c47f561c7791313468a7", kill_on_drop: false }`
[INFO] [stdout] 97e1caa9e23188c98d51d58e214d27d767b8e8a6c768c47f561c7791313468a7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 81bec2077bc1b7e721c4dfb48d9e96656738758df9897a57fe043f8421e969b3
[INFO] running `Command { std: "docker" "start" "-a" "81bec2077bc1b7e721c4dfb48d9e96656738758df9897a57fe043f8421e969b3", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.39s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/legalis_verifier-466874e00dfdf69d)
[INFO] [stdout] 
[INFO] [stdout] running 508 tests
[INFO] [stdout] test autonomous_agents::tests::test_abstraction_refinement ... ok
[INFO] [stdout] test autonomous_agents::tests::test_abstraction_level_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_autonomous_agent_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_cegar_add_counterexample ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_generate_report ... ok
[INFO] [stdout] test autonomous_agents::tests::test_cegar_state_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_meta_verification_health_score ... ok
[INFO] [stdout] test autonomous_agents::tests::test_cegar_max_iterations ... ok
[INFO] [stdout] test autonomous_agents::tests::test_goal_decomposition ... ok
[INFO] [stdout] test autonomous_agents::tests::test_goal_no_decomposition_for_simple ... ok
[INFO] [stdout] test autonomous_agents::tests::test_meta_verification_result ... ok
[INFO] [stdout] test autonomous_agents::tests::test_proof_heuristic_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_goal_total_complexity ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_select_strategy ... ok
[INFO] [stdout] test autonomous_agents::tests::test_strategy_update_metrics ... ok
[INFO] [stdout] test autonomous_agents::tests::test_proof_heuristic_prediction ... ok
[INFO] [stdout] test autonomous_agents::tests::test_verification_goal_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_proof_heuristic_training ... ok
[INFO] [stdout] test autonomous_agents::tests::test_verification_history ... ok
[INFO] [stdout] test autonomous_agents::tests::test_verification_strategy_creation ... ok
[INFO] [stdout] test certification_framework::tests::test_certification_config_default ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_verify_with_learning ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_learning_over_time ... ok
[INFO] [stdout] test certification_framework::tests::test_compliance_violation_structure ... ok
[INFO] [stdout] test certification_framework::tests::test_generate_attestation_non_compliant ... ok
[INFO] [stdout] test certification_framework::tests::test_gdpr_principle_display ... ok
[INFO] [stdout] test certification_framework::tests::test_gdpr_personal_data_detection ... ok
[INFO] [stdout] test certification_framework::tests::test_gdpr_verification ... ok
[INFO] [stdout] test certification_framework::tests::test_soc2_criteria_display ... ok
[INFO] [stdout] test certification_framework::tests::test_certification_report_generation ... ok
[INFO] [stdout] test certification_framework::tests::test_soc2_verification ... ok
[INFO] [stdout] test certification_framework::tests::test_iso27001_access_control_violation ... ok
[INFO] [stdout] test certification_framework::tests::test_iso27001_verification_compliant ... ok
[INFO] [stdout] test certification_framework::tests::test_iso27001_control_display ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_check_international_law_conflicts_no_conflicts ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_conflict_type_display ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_cross_border_analysis_creation ... ok
[INFO] [stdout] test certification_framework::tests::test_generate_attestation_compliant ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_generate_report ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_cross_border_analysis_add_difference ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_global_consistency_check_default ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_global_consistency_add_conflict ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_cross_domain_config_default ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_cross_domain_verifier_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_strategy_expected_utility ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_cross_jurisdictional_conflict_creation ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_verify_cross_jurisdictional_coherence_empty ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_jurisdiction_level_display ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_verify_cross_jurisdictional_coherence_no_conflicts ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_jurisdiction_level_ordering ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_verify_treaty_compliance_unknown_treaty ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_verify_treaty_compliance_known_treaty ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_treaty_compliance_result_creation ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_config_default ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_coordinator_creation ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_verification_report ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_treaty_compliance_add_violation ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_verification_basic ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_node_creation ... ok
[INFO] [stdout] test distributed_verification::tests::test_load_balancing_strategy_display ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_stats_collection ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_success_rate ... ok
[INFO] [stdout] test distributed_verification::tests::test_reset_workers ... ok
[INFO] [stdout] test distributed_verification::tests::test_round_robin_load_balancing ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_status_display ... ok
[INFO] [stdout] test distributed_verification::tests::test_task_status_display ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_load_calculation ... ok
[INFO] [stdout] test formal_methods::tests::test_acl2_model_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_isabelle_proof_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_lean4_proof_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_validation_lean4 ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_validation_coq ... ok
[INFO] [stdout] test formal_methods::tests::test_coq_proof_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_system_serialization ... ok
[INFO] [stdout] test formal_methods::tests::test_pvs_specification_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_sanitize_id ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_complexity ... ok
[INFO] [stdout] test formal_methods::tests::test_formal_methods_verifier ... ok
[INFO] [stdout] test ml_verification::tests::test_adversarial_robustness ... ok
[INFO] [stdout] test ml_verification::tests::test_config_defaults ... ok
[INFO] [stdout] test ml_verification::tests::test_drift_type_covariate_shift ... ok
[INFO] [stdout] test ml_verification::tests::test_drift_detection ... ok
[INFO] [stdout] test ml_verification::tests::test_explanation_generation ... ok
[INFO] [stdout] test ml_verification::tests::test_neural_network_verification ... ok
[INFO] [stdout] test ml_verification::tests::test_explainability_verification ... ok
[INFO] [stdout] test ml_verification::tests::test_fairness_verification ... ok
[INFO] [stdout] test ml_verification::tests::test_fairness_metric_demographic_parity ... ok
[INFO] [stdout] test ml_verification::tests::test_network_statistics ... ok
[INFO] [stdout] test ml_verification::tests::test_ml_verifier_integration ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_advantage_types ... ok
[INFO] [stdout] test quantum_verification::tests::test_hybrid_verification ... ok
[INFO] [stdout] test quantum_verification::tests::test_post_quantum_algorithms ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_circuit_creation ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_annealing ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_resistant_proof_creation ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_supremacy_benchmark ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_attack_complexity ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_resistant_proof_verification ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_circuit_depth ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_circuit_gate_counts ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_with_circuits ... ok
[INFO] [stdout] test quantum_verification::tests::test_qubo_evaluation ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_report ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_basic ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_with_proofs ... ok
[INFO] [stdout] test quantum_verification::tests::test_qubo_problem_creation ... ok
[INFO] [stdout] test quantum_verification::tests::test_rotation_axis_serialization ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_clear_expired_cache ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_add_statute ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_clear_conflict ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_process_queue ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_remove_statute ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_stream_verify ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_creation ... ok
[INFO] [stdout] test realtime_verification::tests::test_impact_category_display ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_generate_report ... ok
[INFO] [stdout] test realtime_verification::tests::test_instant_impact_creation ... ok
[INFO] [stdout] test cross_domain_verification::tests::test_analyze_cross_border ... ok
[INFO] [stdout] test realtime_verification::tests::test_instant_impact_priority_levels ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_process_update ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_queue_full ... ok
[INFO] [stdout] test realtime_verification::tests::test_realtime_conflict_creation ... ok
[INFO] [stdout] test realtime_verification::tests::test_compliance_monitor_queue_update ... ok
[INFO] [stdout] test realtime_verification::tests::test_monitoring_status_default ... ok
[INFO] [stdout] test realtime_verification::tests::test_priority_display ... ok
[INFO] [stdout] test realtime_verification::tests::test_realtime_conflict_with_resolution ... ok
[INFO] [stdout] test realtime_verification::tests::test_realtime_config_default ... ok
[INFO] [stdout] test realtime_verification::tests::test_realtime_verification_result_has_critical_issues ... ok
[INFO] [stdout] test realtime_verification::tests::test_realtime_verification_result_is_successful ... ok
[INFO] [stdout] test realtime_verification::tests::test_statute_update_with_metadata ... ok
[INFO] [stdout] test realtime_verification::tests::test_statute_update_with_versions ... ok
[INFO] [stdout] test realtime_verification::tests::test_update_type_display ... ok
[INFO] [stdout] test self_healing::tests::test_calculate_complexity ... ok
[INFO] [stdout] test self_healing::tests::test_calculate_risk_score ... ok
[INFO] [stdout] test self_healing::tests::test_analyze_complexity ... ok
[INFO] [stdout] test self_healing::tests::test_check_ambiguous_language ... ok
[INFO] [stdout] test self_healing::tests::test_analyze_compliance_failures ... ok
[INFO] [stdout] test realtime_verification::tests::test_statute_update_creation ... ok
[INFO] [stdout] test self_healing::tests::test_check_outdated_references ... ok
[INFO] [stdout] test self_healing::tests::test_compliance_optimizer_creation ... ok
[INFO] [stdout] test self_healing::tests::test_identify_corrections_disabled ... ok
[INFO] [stdout] test self_healing::tests::test_correction_proposal_creation ... ok
[INFO] [stdout] test self_healing::tests::test_optimize_disabled ... ok
[INFO] [stdout] test self_healing::tests::test_learn_from_outcome ... ok
[INFO] [stdout] test self_healing::tests::test_detect_redundancy ... ok
[INFO] [stdout] test self_healing::tests::test_optimize_strategy_disabled ... ok
[INFO] [stdout] test self_healing::tests::test_predict_violations_disabled ... ok
[INFO] [stdout] test self_healing::tests::test_conflict_resolution_suggester_creation ... ok
[INFO] [stdout] test self_healing::tests::test_check_logical_inconsistency ... ok
[INFO] [stdout] test self_healing::tests::test_apply_correction ... ok
[INFO] [stdout] test self_healing::tests::test_record_violation ... ok
[INFO] [stdout] test self_healing::tests::test_record_compliance_event ... ok
[INFO] [stdout] test self_healing::tests::test_proposed_change_creation ... ok
[INFO] [stdout] test self_healing::tests::test_predict_violations_with_high_risk ... ok
[INFO] [stdout] test self_healing::tests::test_resolution_strategy_display ... ok
[INFO] [stdout] test self_healing::tests::test_suggest_refactoring ... ok
[INFO] [stdout] test self_healing::tests::test_suggest_resolutions_disabled ... ok
[INFO] [stdout] test self_healing::tests::test_suggest_resolutions_with_conflict ... ok
[INFO] [stdout] test self_healing::tests::test_violation_predictor_creation ... ok
[INFO] [stdout] test self_healing::tests::test_resolution_suggestion_creation ... ok
[INFO] [stdout] test self_healing::tests::test_rollback ... ok
[INFO] [stdout] test self_healing::tests::test_statute_optimizer_creation ... ok
[INFO] [stdout] test self_healing::tests::test_statute_corrector_creation ... ok
[INFO] [stdout] test self_healing::tests::test_self_healing_config_default ... ok
[INFO] [stdout] test tests::test_analyze_change_impact_no_dependents ... ok
[INFO] [stdout] test tests::test_analyze_change_impact_with_dependents ... ok
[INFO] [stdout] test tests::test_ambiguity_report_generation ... ok
[INFO] [stdout] test tests::test_analyze_stakeholder_conflicts_conflicting_interests ... ok
[INFO] [stdout] test tests::test_analyze_coalitions ... ok
[INFO] [stdout] test tests::test_accessibility_check ... ok
[INFO] [stdout] test tests::test_analyze_coalitions_stable ... ok
[INFO] [stdout] test tests::test_analyze_stakeholder_conflicts_grant ... ok
[INFO] [stdout] test tests::test_ambiguous_term_builder ... ok
[INFO] [stdout] test tests::test_analyze_statute_risk_with_errors ... ok
[INFO] [stdout] test tests::test_batch_verification_all_pass ... ok
[INFO] [stdout] test tests::test_analyze_stakeholder_conflicts_prohibition ... ok
[INFO] [stdout] test tests::test_batch_verification_add_result ... ok
[INFO] [stdout] test tests::test_assess_multiple_impacts ... ok
[INFO] [stdout] test tests::test_batch_verification_basic ... ok
[INFO] [stdout] test tests::test_analyze_statute_risk_simple ... ok
[INFO] [stdout] test tests::test_batch_ambiguity_report ... ok
[INFO] [stdout] test tests::test_ambiguity_severity_sorting ... ok
[INFO] [stdout] test tests::test_batch_verification_result_new ... ok
[INFO] [stdout] test tests::test_build_condition_path_age ... ok
[INFO] [stdout] test tests::test_build_verification_path_simple ... ok
[INFO] [stdout] test tests::test_batch_verification_default ... ok
[INFO] [stdout] test tests::test_cached_proof_is_valid ... ok
[INFO] [stdout] test tests::test_batch_verification_report ... ok
[INFO] [stdout] test tests::test_build_condition_path_complex ... ok
[INFO] [stdout] test tests::test_cached_proof_creation ... ok
[INFO] [stdout] test tests::test_ci_config_creation ... ok
[INFO] [stdout] test tests::test_check_formula_on_trace ... ok
[INFO] [stdout] test tests::test_change_impact_report_generation ... ok
[INFO] [stdout] test tests::test_ci_config_builder ... ok
[INFO] [stdout] test tests::test_ci_config_circleci ... ok
[INFO] [stdout] test tests::test_ci_platform_display ... ok
[INFO] [stdout] test tests::test_ci_config_github_actions ... ok
[INFO] [stdout] test tests::test_ci_config_gitlab_ci ... ok
[INFO] [stdout] test tests::test_ci_config_jenkins ... ok
[INFO] [stdout] test tests::test_ci_config_travis ... ok
[INFO] [stdout] test tests::test_clock_constraint_equal ... ok
[INFO] [stdout] test tests::test_circular_reference_detection ... ok
[INFO] [stdout] test tests::test_clarity_index_high ... ok
[INFO] [stdout] test tests::test_build_verification_path_with_errors ... ok
[INFO] [stdout] test tests::test_clarity_index_low ... ok
[INFO] [stdout] test tests::test_build_verification_path_with_preconditions ... ok
[INFO] [stdout] test tests::test_clock_constraint_and ... ok
[INFO] [stdout] test tests::test_cached_proof_invalid_after_change ... ok
[INFO] [stdout] test tests::test_coalition_creation ... ok
[INFO] [stdout] test tests::test_compare_statutes_effect_changed ... ok
[INFO] [stdout] test tests::test_coalition_sorting_by_strength ... ok
[INFO] [stdout] test tests::test_compare_statutes_no_changes ... ok
[INFO] [stdout] test tests::test_clock_constraint_satisfied ... ok
[INFO] [stdout] test tests::test_clock_creation ... ok
[INFO] [stdout] test tests::test_coalition_strength_clamping ... ok
[INFO] [stdout] test tests::test_coalition_analysis_report ... ok
[INFO] [stdout] test tests::test_coalition_analysis_report_empty ... ok
[INFO] [stdout] test tests::test_compare_statutes_preconditions_changed ... ok
[INFO] [stdout] test tests::test_compare_statutes_title_changed ... ok
[INFO] [stdout] test tests::test_complexity_nested ... ok
[INFO] [stdout] test tests::test_complexity_simple ... ok
[INFO] [stdout] test tests::test_complexity_report ... ok
[INFO] [stdout] test tests::test_compliance_report_template ... ok
[INFO] [stdout] test tests::test_compliance_checklist_report ... ok
[INFO] [stdout] test tests::test_complexity_with_and ... ok
[INFO] [stdout] test tests::test_complexity_with_calculation ... ok
[INFO] [stdout] test tests::test_compliance_certification_report ... ok
[INFO] [stdout] test tests::test_conditions_overlap ... ok
[INFO] [stdout] test tests::test_complexity_with_mixed_calculation ... ok
[INFO] [stdout] test tests::test_coverage_analysis ... ok
[INFO] [stdout] test tests::test_composite_principle_creation ... ok
[INFO] [stdout] test tests::test_conflict_explanation_creation ... ok
[INFO] [stdout] test tests::test_conflict_explanation_format ... ok
[INFO] [stdout] test tests::test_conflict_report_generation ... ok
[INFO] [stdout] test tests::test_conflict_with_suggestions ... ok
[INFO] [stdout] test tests::test_comprehensive_quality_metrics ... ok
[INFO] [stdout] test tests::test_coverage_compute_percentage ... ok
[INFO] [stdout] test tests::test_coverage_gap_detection ... ok
[INFO] [stdout] test tests::test_coverage_gap_severity_levels ... ok
[INFO] [stdout] test tests::test_coverage_info_new ... ok
[INFO] [stdout] test tests::test_consolidated_compliance_checklist ... ok
[INFO] [stdout] test tests::test_coverage_report ... ok
[INFO] [stdout] test tests::test_ctl_display ... ok
[INFO] [stdout] test tests::test_ctl_exists_next ... ok
[INFO] [stdout] test tests::test_ctl_star_complex_formula ... ok
[INFO] [stdout] test tests::test_cross_reference_error_display ... ok
[INFO] [stdout] test tests::test_ctl_star_display ... ok
[INFO] [stdout] test tests::test_cross_reference_report ... ok
[INFO] [stdout] test tests::test_ctl_all_next ... ok
[INFO] [stdout] test tests::test_ctl_star_all_paths ... ok
[INFO] [stdout] test tests::test_ctl_star_always_path_formula ... ok
[INFO] [stdout] test tests::test_ctl_star_basic_formula ... ok
[INFO] [stdout] test tests::test_deadline_verification_pass ... ok
[INFO] [stdout] test tests::test_dependency_graph_affected_statutes ... ok
[INFO] [stdout] test tests::test_custom_report_with_all_sections ... ok
[INFO] [stdout] test tests::test_ctl_star_path_formula_display ... ok
[INFO] [stdout] test tests::test_custom_report_section ... ok
[INFO] [stdout] test tests::test_deadline_verification_fail ... ok
[INFO] [stdout] test tests::test_dependency_graph_from_statutes ... ok
[INFO] [stdout] test tests::test_dependency_node_add_dependency ... ok
[INFO] [stdout] test tests::test_dependency_graph_transitive_dependencies ... ok
[INFO] [stdout] test tests::test_dependency_node_mark_verified ... ok
[INFO] [stdout] test tests::test_detect_duplicates_no_similarity ... ok
[INFO] [stdout] test tests::test_detect_duplicates_similar ... ok
[INFO] [stdout] test tests::test_detect_missing_discretion ... ok
[INFO] [stdout] test tests::test_detect_nash_equilibria ... ok
[INFO] [stdout] test tests::test_detect_quantifier_ambiguity ... ok
[INFO] [stdout] test tests::test_dependency_node_add_dependent ... ok
[INFO] [stdout] test tests::test_dependency_node_creation ... ok
[INFO] [stdout] test tests::test_detect_implicit_assumption_custom_condition ... ok
[INFO] [stdout] test tests::test_detect_temporal_ambiguity_missing_effective_date ... ok
[INFO] [stdout] test tests::test_detect_unclear_effect_too_brief ... ok
[INFO] [stdout] test tests::test_detect_vague_terms_in_description ... ok
[INFO] [stdout] test tests::test_detect_temporal_ambiguity_no_dates ... ok
[INFO] [stdout] test tests::test_detect_vague_terms_in_title ... ok
[INFO] [stdout] test tests::test_detect_unclear_effect_empty ... ok
[INFO] [stdout] test tests::test_differential_private_analysis_empty ... ok
[INFO] [stdout] test tests::test_drafting_quality_score_low ... ok
[INFO] [stdout] test tests::test_differential_private_analysis ... ok
[INFO] [stdout] test tests::test_due_process_check ... ok
[INFO] [stdout] test tests::test_duplicate_detection_report ... ok
[INFO] [stdout] test tests::test_drafting_quality_score_high ... ok
[INFO] [stdout] test tests::test_encrypted_verification_result_report ... ok
[INFO] [stdout] test tests::test_effect_conflict_detection ... ok
[INFO] [stdout] test tests::test_effects_contradict ... ok
[INFO] [stdout] test tests::test_executive_summary_report ... ok
[INFO] [stdout] test tests::test_encrypted_statute_creation ... ok
[INFO] [stdout] test tests::test_explain_conflict_effect_conflict ... ok
[INFO] [stdout] test tests::test_executive_summary_with_errors ... ok
[INFO] [stdout] test tests::test_explain_error_ambiguity ... ok
[INFO] [stdout] test tests::test_encrypted_statute_homomorphic_verify ... ok
[INFO] [stdout] test tests::test_explain_conflict_jurisdictional_overlap ... ok
[INFO] [stdout] test tests::test_explain_error_circular_reference ... ok
[INFO] [stdout] test tests::test_find_ambiguous_terms ... ok
[INFO] [stdout] test tests::test_equality_check ... ok
[INFO] [stdout] test tests::test_explain_error_constitutional_conflict ... ok
[INFO] [stdout] test tests::test_explain_error_dead_statute ... ok
[INFO] [stdout] test tests::test_export_dependency_graph_no_references ... ok
[INFO] [stdout] test tests::test_find_similar_statutes ... ok
[INFO] [stdout] test tests::test_export_dependency_graph_with_conflicts ... ok
[INFO] [stdout] test tests::test_export_dependency_graph ... ok
[INFO] [stdout] test tests::test_game_theoretic_report ... ok
[INFO] [stdout] test tests::test_generate_compliance_certification ... ok
[INFO] [stdout] test tests::test_generate_executive_summary ... ok
[INFO] [stdout] test tests::test_game_theoretic_model_creation ... ok
[INFO] [stdout] test tests::test_impact_assessment_report ... ok
[INFO] [stdout] test tests::test_generate_custom_report ... ok
[INFO] [stdout] test tests::test_generate_compliance_checklist ... ok
[INFO] [stdout] test tests::test_impact_assessment ... ok
[INFO] [stdout] test tests::test_generate_regulatory_filing ... ok
[INFO] [stdout] test tests::test_id_collision_detection ... ok
[INFO] [stdout] test tests::test_impact_levels ... ok
[INFO] [stdout] test tests::test_lazy_verification_config_new ... ok
[INFO] [stdout] test tests::test_incremental_state ... ok
[INFO] [stdout] test tests::test_json_roundtrip ... ok
[INFO] [stdout] test tests::test_lazy_verification_config_changed_only ... ok
[INFO] [stdout] test tests::test_json_export ... ok
[INFO] [stdout] test tests::test_jurisdiction_gap_detection ... ok
[INFO] [stdout] test tests::test_jurisdictional_rule_set ... ok
[INFO] [stdout] test tests::test_lazy_verification_config_with_depth ... ok
[INFO] [stdout] test tests::test_lazy_verify_empty ... ok
[INFO] [stdout] test tests::test_html_report_generation ... ok
[INFO] [stdout] test tests::test_lazy_verify_single_change ... ok
[INFO] [stdout] test tests::test_ltl_always ... ok
[INFO] [stdout] test tests::test_ltl_eventually ... ok
[INFO] [stdout] test tests::test_maintainability_score_low ... ok
[INFO] [stdout] test tests::test_ltl_atom ... ok
[INFO] [stdout] test tests::test_ltl_display ... ok
[INFO] [stdout] test tests::test_maintainability_score_high ... ok
[INFO] [stdout] test tests::test_markov_chain_complex_reachability ... ok
[INFO] [stdout] test tests::test_ltl_next ... ok
[INFO] [stdout] test tests::test_markov_chain_steady_state ... ok
[INFO] [stdout] test tests::test_markov_chain_validation_invalid ... ok
[INFO] [stdout] test tests::test_markov_chain_validation_valid ... ok
[INFO] [stdout] test tests::test_mechanism_analysis_add_issue ... ok
[INFO] [stdout] test tests::test_mechanism_analysis_creation ... ok
[INFO] [stdout] test tests::test_mechanism_design_budget_balance_no_transfers ... ok
[INFO] [stdout] test tests::test_markov_state_creation ... ok
[INFO] [stdout] test tests::test_markov_chain_reachability_probability ... ok
[INFO] [stdout] test tests::test_markov_transition_creation ... ok
[INFO] [stdout] test tests::test_mechanism_design_incentive_compatibility_satisfied ... ok
[INFO] [stdout] test tests::test_mechanism_design_budget_balance_with_transfers ... ok
[INFO] [stdout] test tests::test_mechanism_design_incentive_compatibility_violation ... ok
[INFO] [stdout] test tests::test_mechanism_analysis_satisfy_property ... ok
[INFO] [stdout] test tests::test_mechanism_design_individual_rationality_violation ... ok
[INFO] [stdout] test tests::test_mechanism_design_non_dictatorship_satisfied ... ok
[INFO] [stdout] test tests::test_mechanism_design_report_no_issues ... ok
[INFO] [stdout] test tests::test_mechanism_design_strategy_proofness_grant_no_conditions ... ok
[INFO] [stdout] test tests::test_mechanism_property_display ... ok
[INFO] [stdout] test tests::test_mechanism_quality_score_calculation ... ok
[INFO] [stdout] test tests::test_mechanism_design_individual_rationality_satisfied ... ok
[INFO] [stdout] test tests::test_mechanism_design_strategy_proofness_custom_condition ... ok
[INFO] [stdout] test tests::test_mechanism_design_non_dictatorship_violation ... ok
[INFO] [stdout] test tests::test_mechanism_design_report_with_issues ... ok
[INFO] [stdout] test tests::test_natural_language_explanation_format ... ok
[INFO] [stdout] test tests::test_no_ambiguities_well_defined_statute ... ok
[INFO] [stdout] test tests::test_monte_carlo_verification_simple ... ok
[INFO] [stdout] test tests::test_multiparty_verification_creation ... ok
[INFO] [stdout] test tests::test_natural_language_explanation_creation ... ok
[INFO] [stdout] test tests::test_no_coverage_gaps_simple ... ok
[INFO] [stdout] test tests::test_notification_config_creation ... ok
[INFO] [stdout] test tests::test_no_circular_reference ... ok
[INFO] [stdout] test tests::test_no_conflicts_when_different_jurisdictions ... ok
[INFO] [stdout] test tests::test_notification_config_default ... ok
[INFO] [stdout] test tests::test_notification_config_trigger ... ok
[INFO] [stdout] test tests::test_notification_config_webhooks ... ok
[INFO] [stdout] test tests::test_notification_config_details ... ok
[INFO] [stdout] test tests::test_notification_config_email ... ok
[INFO] [stdout] test tests::test_notification_message_creation ... ok
[INFO] [stdout] test tests::test_precommit_hook_builder ... ok
[INFO] [stdout] test tests::test_optimization_report_generation ... ok
[INFO] [stdout] test tests::test_notification_message_with_results ... ok
[INFO] [stdout] test tests::test_monte_carlo_verification_probabilistic ... ok
[INFO] [stdout] test tests::test_precommit_hook_creation ... ok
[INFO] [stdout] test tests::test_multiparty_verification_report ... ok
[INFO] [stdout] test tests::test_predict_game_outcomes_two_players ... ok
[INFO] [stdout] test tests::test_principle_check_result ... ok
[INFO] [stdout] test tests::test_multiparty_verification_with_multiple_parties ... ok
[INFO] [stdout] test tests::test_privacy_budget_creation ... ok
[INFO] [stdout] test tests::test_principle_registry ... ok
[INFO] [stdout] test tests::test_precommit_hook_default ... ok
[INFO] [stdout] test tests::test_principle_definition_creation ... ok
[INFO] [stdout] test tests::test_privacy_impact_check ... ok
[INFO] [stdout] test tests::test_precommit_hook_generation ... ok
[INFO] [stdout] test tests::test_privacy_budget_presets ... ok
[INFO] [stdout] test tests::test_private_aggregation_report ... ok
[INFO] [stdout] test tests::test_proof_cache_add_proof ... ok
[INFO] [stdout] test tests::test_proof_cache_stats ... ok
[INFO] [stdout] test tests::test_proportionality_check ... ok
[INFO] [stdout] test tests::test_proof_cache_creation ... ok
[INFO] [stdout] test tests::test_quality_metrics_basic ... ok
[INFO] [stdout] test tests::test_proof_cache_get_proof ... ok
[INFO] [stdout] test tests::test_notification_message_to_json ... ok
[INFO] [stdout] test tests::test_proof_cache_invalidate ... ok
[INFO] [stdout] test tests::test_quality_metrics_grade ... ok
[INFO] [stdout] test tests::test_regulatory_filing_report ... ok
[INFO] [stdout] test tests::test_regulatory_impact_basic ... ok
[INFO] [stdout] test tests::test_regulatory_impact_high ... ok
[INFO] [stdout] test tests::test_quality_metrics_low_complexity_strength ... ok
[INFO] [stdout] test tests::test_quality_report_template ... ok
[INFO] [stdout] test tests::test_quality_metrics_with_issues ... ok
[INFO] [stdout] test tests::test_regulatory_impact_report ... ok
[INFO] [stdout] test tests::test_quality_report_generation ... ok
[INFO] [stdout] test tests::test_retroactivity_check_grant_allowed ... ok
[INFO] [stdout] test tests::test_retroactivity_check_monetary_penalty ... ok
[INFO] [stdout] test tests::test_report_template_creation ... ok
[INFO] [stdout] test tests::test_retroactivity_check_no_effective_date ... ok
[INFO] [stdout] test tests::test_retroactivity_check_pass ... ok
[INFO] [stdout] test tests::test_retroactivity_check_effective_before_enactment ... ok
[INFO] [stdout] test tests::test_retroactivity_check_retroactive_language ... ok
[INFO] [stdout] test tests::test_risk_factor_creation ... ok
[INFO] [stdout] test tests::test_retroactivity_check_application_before_effective ... ok
[INFO] [stdout] test tests::test_retroactivity_check_retroactive_parameter ... ok
[INFO] [stdout] test tests::test_risk_quantification_creation ... ok
[INFO] [stdout] test tests::test_risk_quantification_minimal_level ... ok
[INFO] [stdout] test tests::test_risk_quantification_critical_level ... ok
[INFO] [stdout] test tests::test_risk_quantification_report ... ok
[INFO] [stdout] test tests::test_risk_level_display ... ok
[INFO] [stdout] test tests::test_risk_factor_score_clamping ... ok
[INFO] [stdout] test tests::test_send_notification_no_trigger ... ok
[INFO] [stdout] test tests::test_risk_level_from_score ... ok
[INFO] [stdout] test tests::test_risk_quantification_with_mitigations ... ok
[INFO] [stdout] test tests::test_send_notification_with_trigger ... ok
[INFO] [stdout] test tests::test_sarif_report_generation ... ok
[INFO] [stdout] test tests::test_semantic_similarity_different ... ok
[INFO] [stdout] test tests::test_semantic_similarity_identical ... ok
[INFO] [stdout] test tests::test_send_notification_no_channels ... ok
[INFO] [stdout] test tests::test_sequence_verification_pass ... ok
[INFO] [stdout] test tests::test_sequence_verification_fail ... ok
[INFO] [stdout] test tests::test_stakeholder_conflict_report_empty ... ok
[INFO] [stdout] test tests::test_stakeholder_creation ... ok
[INFO] [stdout] test tests::test_standard_report_template ... ok
[INFO] [stdout] test tests::test_statistical_model_checking_report ... ok
[INFO] [stdout] test tests::test_similarity_score ... ok
[INFO] [stdout] test tests::test_statistical_check_result_hypothesis_rejected ... ok
[INFO] [stdout] test tests::test_statistical_check_result_from_samples ... ok
[INFO] [stdout] test tests::test_strategy_creation ... ok
[INFO] [stdout] test tests::test_stakeholder_conflict_report ... ok
[INFO] [stdout] test tests::test_string_similarity ... ok
[INFO] [stdout] test tests::test_statute_statistics_basic ... ok
[INFO] [stdout] test tests::test_statute_statistics_empty ... ok
[INFO] [stdout] test tests::test_synthesize_ctl_all_always ... ok
[INFO] [stdout] test tests::test_synthesize_ctl_empty_properties ... ok
[INFO] [stdout] test tests::test_statistics_report ... ok
[INFO] [stdout] test tests::test_synthesize_ctl_exists_eventually ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_always ... ok
[INFO] [stdout] test tests::test_statute_change_display ... ok
[INFO] [stdout] test tests::test_statistical_result_confidence_interval ... ok
[INFO] [stdout] test tests::test_tee_config_attestation_verification ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_eventually ... ok
[INFO] [stdout] test tests::test_tee_config_creation ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_no_separation ... ok
[INFO] [stdout] test tests::test_tee_verification ... ok
[INFO] [stdout] test tests::test_tee_verification_report ... ok
[INFO] [stdout] test tests::test_temporal_conflict_detection ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_empty_traces ... ok
[INFO] [stdout] test tests::test_temporal_state_creation ... ok
[INFO] [stdout] test tests::test_temporal_validity_overlap ... ok
[INFO] [stdout] test tests::test_terminology_consistency ... ok
[INFO] [stdout] test tests::test_terminology_inconsistency_builder ... ok
[INFO] [stdout] test tests::test_testability_score_high ... ok
[INFO] [stdout] test tests::test_term_disambiguation_report ... ok
[INFO] [stdout] test tests::test_timed_location_with_invariant ... ok
[INFO] [stdout] test tests::test_timed_location_creation ... ok
[INFO] [stdout] test tests::test_terminology_consistency_report ... ok
[INFO] [stdout] test tests::test_timed_reachability_simple ... ok
[INFO] [stdout] test tests::test_testability_score_low ... ok
[INFO] [stdout] test tests::test_timed_automaton_creation ... ok
[INFO] [stdout] test tests::test_timed_reachability_unreachable ... ok
[INFO] [stdout] test tests::test_timed_transition_creation ... ok
[INFO] [stdout] test tests::test_title_similarity ... ok
[INFO] [stdout] test tests::test_transition_system_creation ... ok
[INFO] [stdout] test tests::test_timed_reachability_with_reset ... ok
[INFO] [stdout] test tests::test_verification_diff_errors_added ... ok
[INFO] [stdout] test tests::test_validate_cross_references_valid ... ok
[INFO] [stdout] test tests::test_verification_budget ... ok
[INFO] [stdout] test tests::test_verification_diff_report ... ok
[INFO] [stdout] test tests::test_verification_diff_errors_removed ... ok
[INFO] [stdout] test tests::test_verification_diff_status_change ... ok
[INFO] [stdout] test tests::test_timed_transition_with_guard_and_reset ... ok
[INFO] [stdout] test tests::test_verification_path_node_with_children ... ok
[INFO] [stdout] test tests::test_verification_diff_warnings_added ... ok
[INFO] [stdout] test tests::test_verification_path_to_dot ... ok
[INFO] [stdout] test tests::test_validate_cross_references_invalid ... ok
[INFO] [stdout] test tests::test_verification_request_builder ... ok
[INFO] [stdout] test tests::test_verification_request_creation ... ok
[INFO] [stdout] test tests::test_verification_path_failed_status ... ok
[INFO] [stdout] test tests::test_verification_response_creation ... ok
[INFO] [stdout] test tests::test_verification_path_node_creation ... ok
[INFO] [stdout] test tests::test_verification_response_with_errors ... ok
[INFO] [stdout] test tests::test_verification_diff_no_changes ... ok
[INFO] [stdout] test tests::test_verification_response_processing_time ... ok
[INFO] [stdout] test tests::test_verifier_discretion_warning ... ok
[INFO] [stdout] test tests::test_verify_for_jurisdiction ... ok
[INFO] [stdout] test tests::test_verifier_pass ... ok
[INFO] [stdout] test tests::test_verify_integrity ... ok
[INFO] [stdout] test tests::test_what_if_analysis ... ok
[INFO] [stdout] test tests::test_verify_incremental ... ok
[INFO] [stdout] test tests::test_what_if_breaking_change ... ok
[INFO] [stdout] test tests::test_verify_with_budget ... ok
[INFO] [stdout] test tests::test_what_if_scenario_creation ... ok
[INFO] [stdout] test tests::test_what_if_scenario_detect_effect_change ... ok
[INFO] [stdout] test tests::test_what_if_scenario_report ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_report ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_verification ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_with_metadata ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_creation ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_different_statutes_different_commitments ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 508 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/property_tests.rs (/opt/rustwide/target/debug/deps/property_tests-f6b5efaa3716796d)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test additional_tests::test_proptest_configuration ... ok
[INFO] [stdout] test prop_empty_collection_passes ... ok
[INFO] [stdout] test prop_critical_is_highest ... ok
[INFO] [stdout] test prop_circular_reference_is_critical ... ok
[INFO] [stdout] test prop_error_messages_non_empty ... ok
[INFO] [stdout] test prop_ambiguity_is_warning ... ok
[INFO] [stdout] test prop_info_is_lowest ... ok
[INFO] [stdout] test prop_passing_result_no_errors ... ok
[INFO] [stdout] test prop_constitutional_conflict_is_critical ... ok
[INFO] [stdout] test prop_result_json_roundtrip ... ok
[INFO] [stdout] test prop_errors_by_severity_correct ... ok
[INFO] [stdout] test prop_cached_verification_consistent ... ok
[INFO] [stdout] test prop_severity_string_consistent ... ok
[INFO] [stdout] test prop_compact_json_shorter ... ok
[INFO] [stdout] test prop_merge_combines_errors ... ok
[INFO] [stdout] test prop_has_critical_detection_accurate ... ok
[INFO] [stdout] test prop_failing_result_has_errors ... ok
[INFO] [stdout] test prop_severity_ordering_consistent ... ok
[INFO] [stdout] test prop_unreachable_is_warning ... ok
[INFO] [stdout] test prop_suggestions_preserved ... ok
[INFO] [stdout] test prop_warnings_preserved ... ok
[INFO] [stdout] test prop_verification_is_deterministic ... ok
[INFO] [stdout] test prop_uncached_verification_consistent ... ok
[INFO] [stderr]    Doc-tests legalis_verifier
[INFO] [stdout] test prop_severity_counts_accurate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.25s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test src/lib.rs - export_dependency_graph (line 8547) ... ignored
[INFO] [stdout] test src/distributed_verification.rs - distributed_verification (line 9) ... ok
[INFO] [stdout] test src/cross_domain_verification.rs - cross_domain_verification (line 8) ... ok
[INFO] [stdout] test src/certification_framework.rs - certification_framework (line 11) ... ok
[INFO] [stdout] test src/autonomous_agents.rs - autonomous_agents (line 16) ... ok
[INFO] [stdout] test src/self_healing.rs - self_healing (line 8) ... ok
[INFO] [stdout] test src/quantum_verification.rs - quantum_verification (line 17) ... ok
[INFO] [stdout] test src/realtime_verification.rs - realtime_verification (line 8) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.14s; merged doctests compilation took 1.05s
[INFO] running `Command { std: "docker" "inspect" "81bec2077bc1b7e721c4dfb48d9e96656738758df9897a57fe043f8421e969b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "81bec2077bc1b7e721c4dfb48d9e96656738758df9897a57fe043f8421e969b3", kill_on_drop: false }`
[INFO] [stdout] 81bec2077bc1b7e721c4dfb48d9e96656738758df9897a57fe043f8421e969b3
